home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part2 / 18490 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  1.3 KB
  1. Path: gaia.ns.utk.edu!mbk
  2. From: mbk@caffeine.engr.utk.edu (Matt Kennel)
  3. Newsgroups: comp.lang.java,comp.lang.c++,comp.lang.smalltalk
  4. Subject: Re: Type systems, Dylan, Smalltalk, etc. (Was: Re: Will Java...)
  5. Followup-To: comp.lang.java,comp.lang.c++,comp.lang.smalltalk
  6. Date: 21 Apr 1996 01:42:24 GMT
  7. Organization: University of Tennessee, Knoxville and Oak Ridge National Laboratory
  8. Message-ID: <4lc3q0$d0s@gaia.ns.utk.edu>
  9. References: <31682FFE.2781E494@bbn.com> <dbell-1 <3171810F.2E2@funsys.se> <4l0f6o$sec@nkosi.well.com> <Dpyro4.8o9@news.hawaii.edu> <3176A500.4CAA@ccm.hf.intel.com>
  10. Reply-To: kennel@msr.epm.ornl.gov
  11. NNTP-Posting-Host: caffeine.engr.utk.edu
  12. X-Newsreader: TIN [version 1.2 PL2]
  13.  
  14. Patrick Logan (patrick_d_logan@ccm.hf.intel.com) wrote:
  15. : Consider the Stalin system for Scheme from U. Toronto.
  16.  
  17. : This is approaching more of what I would consider the *best* of both
  18. : worlds: getting the performance and security of a statically
  19. : typed language without ever having to explicitly name a type.
  20.  
  21. Then how do you get the security if you don't name a type?
  22.  
  23. The point is that when you give variable declarations you are 
  24. providing extra information to the computer about what
  25. the program should be doing, and constraining what it might do 
  26. given any inputs.
  27.  
  28. I agree that 100% manifest type declarations isn't desirable.
  29.  
  30.